منابع مشابه
Ham-alc
HAM-ALC: The tests were performed using HAM-ALC version 1.1. HAM-ALC [2] is a description logic classifier which has been constructed for providing a basis for an optimized ALCRP(D) [1] implementation. Based on a sound and complete tableau algorithm HAM-ALC currently implements a true ABox reasoner for the logic ALC. HAM-ALC employs a few optimizations inspired by FaCT [3], in particular semant...
متن کاملExplaining ALC Subsumption
Knowledge representation systems, including ones based on Description Logics (DLs), use explanation facilities to, among others, debug knowledge bases. Until now, such facilities were not available for expressive DLs, whose reasoning is an un-natural refutation-based tableau. We offer a solution based on a sequent calculus that is closely related to the tableau implementation, exploiting its op...
متن کاملALC: Alcohol Language Corpus
A number of forensic studies published during the last 50 years report that intoxication with alcohol influences speech in a way that is made manifest in certain features of the speech signal. However, most of these studies are based on data that are not publicly available nor of statistically sufficient size. Furthermore, in spite of the positive reports nobody ever successfully implemented a ...
متن کاملDistributed Resolution for ALC
The use of Description Logic as the basis for Semantic Web Languages has led to new requirements with respect to scalable and nonstandard reasoning. In this paper, we address the problem of scalable reasoning by proposing a distributed, complete and terminating algorithm that decides satisfiability of terminologies in ALC. The algorithm is based on recent results on applying resolution to descr...
متن کاملConsequence Finding in ALC
Research on reasoning in description logics has traditionally focused on the standard inference tasks of (un)satisfiability, subsumption, and instance checking. In recent years, however, there has been a growing interest in so-called non-standard inference services (cf. [1]) which prove useful in the creation, evolution, and utilisation of description logic knowledge bases (KBs). In this paper,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Chemical & Engineering News Archive
سال: 1977
ISSN: 0009-2347,2157-4936
DOI: 10.1021/cen-v055n015.p038